type token =
  | BOOL of (bool)
  | INT of (int)
  | FLOAT of (float)
  | NOT
  | MINUS
  | PLUS
  | EQUAL
  | LESS_EQUAL
  | GREATER_EQUAL
  | LESS
  | GREATER
  | IF
  | IDENT of (Id.t)
  | COMMA
  | DOT
  | SEMICOLON
  | LPAREN
  | RPAREN
  | EOF

val statement :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Syntax.statement
